More from this Author

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli (Foreword by)